$\forall$$x$, $y$:Void List. $x$ $=$ $y$ $\Rightarrow$ \{null($x$) \& null($y$)\}